Erratum for “Cartesian Formulation of Membrane Theory”
نویسندگان
چکیده
منابع مشابه
Cartesian Cubical Type Theory
We present a cubical type theory based on the Cartesian cube category (faces, degeneracies, symmetries, diagonals, but no connections or reversal) with univalent universes, each containing Π, Σ, path, identity, natural number, boolean, pushout, and glue (equivalence extension) types. The type theory includes a syntactic description of a uniform Kan operation, along with judgemental equality rul...
متن کاملAdjoint Formulation for an Embedded-Boundary Cartesian Method
A discrete-adjoint formulation is presented for the three-dimensional Euler equations discretized on a Cartesian mesh with embedded boundaries. The solution algorithm for the adjoint and flow-sensitivity equations leverages the Runge–Kutta time-marching scheme in conjunction with the parallel multigrid method of the flow solver. The matrix-vector products associated with the linearization of th...
متن کاملCartesian Cubical Computational Type Theory
We present a dependent type theory organized around a Cartesian notion of cubes (with faces, degeneracies, and diagonals), supporting both fibrant and non-fibrant types. The fibrant fragment includes Voevodsky’s univalence axiom and a circle type, while the non-fibrant fragment includes exact (strict) equality types satisfying equality reflection. Our type theory is defined by a semantics in cu...
متن کاملThe theory of "developmental and coordinated legal structure for the formulation of criteria for Iran's urban development plans"
Objectives and contexts: The research started with the concern that "urban planning laws, especially the rules of urban development plans, are not effective". By studying the conducted researches, it was found that urban plans have inefficiencies from the legal and regulatory aspect. The root of some of these inefficiencies is in the "legal structure and laws". Therefore, the aim is to obtain a...
متن کاملErratum: Scaling theory for the glass transition
Many of the concepts in the paper are elaborations of ideas explained to Sethna by Daniel Fisher in a conversation several years ago. This includes the scaling ideas, the renormalization-group analogies with the random-field Ising model, and the estimate of the barrier height growth. I should also make clear that the method of plotting the scaled viscosities shown in Fig. 4 is from C. Austin An...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Engineering Mechanics Division
سال: 1968
ISSN: 0044-7951,2690-2427
DOI: 10.1061/jmcea3.0000954